基于标准门的BDD构造

一个有效的和简化的BDD将大大提高验证和测试生成效率.作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,有效地完成电路的BDD构造.实验证明,该方法简单、直观而有效.     

从亚太经济圈看南海

环顾全球,世界历史前进的浪潮,已开始从大西洋涌入太平洋,正如西方的政治经济专家们说的:“太平洋经济时代已经来临了!”我认为,更确切地说,当今的时代是亚太地区大发展的时代,亚太将成为全球战略的重心。亚太发展的浪潮,把南海涌到了浪尖上。南海的发展趋势密切关系着亚太地区的发展前景,适时而正确处理南海及其亚太地区经济发展与军事发展的关系,是振兴中华、朝着有利方向发展亚太形势的关键。     

竞争性谈判采购方式下武器装备价格形成研究

竞争性谈判采购方式下装备价格形成受制于双方的实力结构、破裂风险和谈判时限的影响。在竞争性谈判过程中,双方的价格区间一般不可能是完全重合的,在具体价格区间谈判确定过程中,不仅要考虑谈判双方的成本、费用、预期效用等价格构成的基本要素,还要考虑谈判双方具体贴现因素和讨价还价中主观因素对装备价格的影响。     

惯导系统动基座对准精度评估方法

弹载惯性制导系统空中对准是机载战术导弹发射前必须完成的任务,其对准精度直接影响导弹系统的制导精度。利用最优平滑技术对弹载惯导系统传递对准效果进行评估,是分析导弹系统的战术性能和惯导系统自身器件性能的有效方法。Rauch-Tung-Striebel(1965)提出了固定区间平滑算法,Meditch(1967)提出了固定点平滑算法;Bierman(1983)、Watamabe(1989)等许多学者对RTS算法提出了改进方法,这些方法在保证平滑算法中数值的稳定性和提高计算效率方面有了明显改善。针对固定区间平滑算法所适应的对象,分析了这类平滑算法的特点,提出了RTS固定区间平滑算法的改进方法;结合弹载惯性制导系统传递对准效果评估,进一步证明了分析的正确性。     

长管水击最大水击压强的解析

从管道水击微分方程的特征分析入手,提出了水击特征方程的黎曼不变量和网格分析解,建立了管道水击问题的近似解析解,给出了长管水击最大水击压强的计算表达式。通过实际算例对解析解和数值解结果进行了比较。对水击微分方程的重力项也进行了讨论。     

初始先验分布未知条件下的DLMR及其Bayes预测

讨论了具有无信息初始先验分布的矩阵变量动态线性模型 (简记为DLMR)及其Bayes预测 ,利用MDIP方法 ,就尺度方差阵∑已知和未知两种情况 ,分别给出模拟初始状态参数(θ1 |D0 )和 (θ1 ,∑ |D0 )的无信息先验分布 ,进而给出其Bayes预测。     

基于Matlab的线性拟合计算

对于弹道导弹,由于其运动受多种因素的影响,因此描述其运动的微分方程是极其复杂的,而且,方程中的部分参数是通过对试验数据的科学处理获得的.为了建立数学模型,有时用数据拟合的方法对试验数据进行处理.运用单变量、多变量的线性拟和方法,给出了"单输入/单输出"、"多输入/单输出"的线性拟合模型,并针对拟合模型中未知参数的确定问题,给出了基于最小二乘的线性矛盾方程组的求解方法.通过仿真计算,能够得到较高精度的计算结果.最后,给出了Matlab的实现方法,并给出了一段具体的实现程序.     

离散条件下数字图像矩不变量不变性的分析与研究

对离散条件下数字图像矩不变量的旋转和尺度不变性进行分析,证实了图像识别中采用的矩不变量存在较大变化范围.针对矩不变量变化的主要原因,给出了改进方法,并用实验加以验证.     

模糊层次分析法反辐射导弹武器系统优选决策

针对现代战争中打击和压制敌方雷达系统时武器选择的优选决策问题,建立了反辐射导弹作战使用优选决策模型。首先提出了区间数判断矩阵的随机一致性指标,解决了一致性检验问题。然后给出了运用模糊层次分析法求解最优决策问题的计算步骤。最后将该方法应用到反辐射导弹武器系统中,进行具体分析、计算,验证了此方法的合理性和有效性。该方法可以为指挥员进行决策时提供重要的科学依据。     

大型商场人员密度调查与分析

以天津市几个大型商场为代表,按照商场的经营性质、建筑规模将大型商场分为三类,分别选取节假日、双休日、正常工作日为调查时间,得到各类大型商场疏散人数的原始数据.采用正态总体均值与方差的区间估计原理,得出各类商场的疏散人数区间.同时,对营业厅建筑面积和顾客使用面积进行相应的调查.得到面积折算系数.利用调查分析结果,在保证安全性和经济性的前提下,提出不同类型商场的人员密度指标.